<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<link type="text/css" rel="stylesheet" href="owlapi.css"/>
<title>Reasoners</title>
</head>

<body>

<div align="center" class="body_content">
<div class="menu_bar">

<!-- *** MENU BAR *** -->
<span class="menu_bar_item"><a href="index.html">Home</a></span>
<span class="menu_bar_item"><a href="https://sourceforge.net/projects/owlapi/files/">Download</a></span>
<span class="menu_bar_item"><a href="source.html">Source</a></span>
<span class="menu_bar_item"><a href="support.html">Support</a></span>
<span class="menu_bar_item"><a href="documentation.html">Documentation</a></span>
<span class="menu_bar_item_active">Reasoners</span>
<span class="menu_bar_item"><a href="publications.html">Publications</a></span>
</div>

<!-- *** MAIN TITLE *** -->
<div class="title">Reasoners</div>


<div align="justify">
<div class="content">

<!-- *** PAGE CONTENT GOES HERE *** -->

<p>A reasoner is a key component for working with OWL ontologies. In fact, virtually all querying of an OWL ontology (and its imports closure) should be done using a reasoner.  This is because knowledge in an ontology might not be explicit and a reasoner is required to deduce implicit knowledge so that the correct query results are obtained.  The OWL API includes various interfaces for accessing OWL reasoners.  In order to access a reasoner via the API a reasoner implementation is needed.  There following reasoners (in alphabetical order) provide implementations of the OWL API <code>OWLReasoner</code> interface:
<ul>
	<li><a href="http://code.google.com/p/factplusplus/">FaCT++.</a>
	<li><a href="http://hermit-reasoner.com/">HermiT</a>
	<li><a href="http://pellet.owldl.com/">Pellet</a>
	<li><a href="http://www.racer-systems.com/">RacerPro</a> (via <a href="http://www.owllink.org/">OWLLink</a>)
</ul>

To use any of these reasoners you must download the appropriate libraries and place them in your class path. 
All of these reasoner implement the <a href="">OWLReasoner</a> interface and provide implmentations of the 
<a href="">OWLReasonerFactory</a> interface for instantiating the appropriate OWLReasoner implementation.


<!-- *** END OF PAGE CONTENT *** -->

</div>
</div>

<div align="right" class="footer"> <a href="http://sourceforge.net"><img src="http://sflogo.sourceforge.net/sflogo.php?group_id=90989&amp;type=1" width="88" height="31" border="0" alt="SourceForge.net Logo" /></a></div>

</div>

<!-- PAGE FOOTER -->
</body>
</html>
